基于FPGA的信号量管理模块的设计

针对软件实时操作系统的开销给嵌入式系统带来性能退化的问题,提出了基于FPGA的硬件实时操作系统的方案,设计了一个硬件信号量管理模块并用Verilog HDL硬件描述语言进行描述。仿真结果验证了这一设计的正确性,且其创建、请求和发送信号量操作的执行速度比μC/OS-Ⅱ中信号量管理部分明显提高。     

数学规划模型的建模语言（FQL）

对数学规划模型的结构作了深入分析。从纵向揭示了数学规划模型自然、清晰的层次结构；横向又把复合模型分解成若干基本模型，而基本模型又可由决策用户十分熟悉的二维形式加以描述。在此基础上，给出了建模语言（ＦＱＬ）的语法和语义。它除了具有建模能力外，消除了代数形式的索引；更重要的是具有数据库查询和模型操作能力。     

从新《大纲》看文化差异教学

化与语言的相互依存，使化教学日益成为英语教学的重要环节。本结合新《高等学校英语专业英语教学大纲》讨论了化差异敏感性与跨化交际能力的正比关系，探讨了化差异教学的主要内容，并提出了化差异教学的教学原则。     

浅议网络环境下的西文编目和西文编目人员

介绍了图书馆西文编目工作的发展,解释了网络环境下的西文编目方式和西文编目规范,分析了网络环境下西文编目人员应具有的素质。     

用MATLAB编程求解Zn(Ⅱ)-NH4Cl-NH3-H2O体系热力学模型

应用MATALAB语言编写程序建立Zn(Ⅱ)-NH4Cl-NH3-H2O体系的多元非线性热力学模型并求解其热力学关系. 模型中共有pH值、游离氨浓度、总氨浓度、溶液中总锌浓度、总氯浓度和游离氯离子浓度 6个变量, 共有锌量、氨量、氯量和电荷平衡4个方程. 根据电算指数法, 模型中各离子浓度之间服从对数和指数关系. 输入需求解的方程及其边界条件, 求出总氨浓度和总氯浓度分别在0～10 mol/L范围内变化时, 其他未知数随之变化的关系, 并绘制各种重要的热力学关系图, 包括各种立体图和二维图. 对用MATLAB求解模型和用BASIC求解模型的所得结果以及与氧化锌溶解度实验所得结果之间的差异进行分析. 结果表明, 用MATLAB编程求解冶金多元非线性热力学模型, 过程简单, 所得结果精确可靠, 根据计算所得数值可方便地绘制成各种图形, 便于进行冶金分析.     

中国少数民族语言活力排序研究

对语言的活力程度进行排序,旨在分清轻重缓急,先抢救处在最濒危状态的语言,并为其提供理论依据。根据中国少数民族语言的实际情况,提出适合中国少数民族语言活力研究的测试的综合指标,并对中国一百多种少数民族语言进行活力排序。     

基于Verilog HDL的卡尔曼滤波器的仿真研究

文章对卡尔曼滤波器的算法的5个递推方程进行了详细的介绍,并采用Verilog HDL硬件描述语言对卡尔曼滤波器的算法进行了仿真研究.通过仿真分析,结果表明卡尔曼滤波器的系统过程噪声、测量噪声、系统阶数(递归次数)等因素对滤波结果有影响。     

P-n-右析取语言的相关性质

主要研究了P-n-右析取语言的一些相关性质，给出了P-n-析取辖的定义，得出了P-n-析取辖是稠密语言等结论。     

Quantum programming: From theories to implementations

This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.     

浅谈外语教学中语言与文化的关系

外语教学的任务是培养在不同化背景下进行成功交际的人才，外语教学不仅是“语言教学”，更应是“化教学”，应联系自身教学工作实际，正确处理“语言教学”与“化教学”的关系。